Reachability for a Class of Sequential Control Problems
نویسنده
چکیده
Of all control related problems within industry, those of sequential character are particularly common. Almost all industrial plants contain sequential parts; startup or shutdown phases are typical examples of this. Despite its importance fairly little theoretical research has been devoted to this problem. We study a subclass of sequential control problems, which we call the SAS-PUBS class. For this class of problems we give a reachability criterion. The complexity of checking if the criterion is fulllled only increases polynomially with the number of state variables. This report and others from the automatic control group in Linkk oping are available by anonymous ftp on
منابع مشابه
Symbolic backward reachability with effectively propositional logic - Applications to security policy analysis
We describe a symbolic procedure for solving the reachability problem of transition systems that use formulae of Effectively Propositional Logic to represent sets of backward reachable states. We discuss the key ideas for the mechanization of the procedure where fix-point checks are reduced to SMT problems. We also show the termination of the procedure on a sub-class of transition systems. Then...
متن کاملReachability Under Uncertainty
The paper studies the problem of reachability for linear systems in the presence of uncertain (unknown but bounded) input disturbances, which may also be interpreted as the action of an adversary in a gametheoretic setting. It defines possible notions of reachability under uncertainty emphasizing the differences between open-loop and closed-loop control. Solution schemes for calculating reachab...
متن کاملReachability problems for a class of integro-differential equations
We study control problems for some integro-differential equations using the Hilbert Uniqueness Method. To do that we follow a harmonic analysis approach. Our results can be applied to concrete examples in viscoelasticity theory.
متن کاملOn Reachability Under Uncertainty
The paper studies the problem of reachability for linear systems in the presence of uncertain input disturbances that may also be interpreted as the action of an adversary in a game-theoretic setting. It emphasizes the differences between reachability under open-loop and closed-loop control. The situation when observations arrive at given isolated instances of time, leads to problems of anticip...
متن کاملA jammer's perspective of reachability and LQ optimal control
This article treats two problems dealing with control of linear systems in the presence of a jammer that can sporadically turn off the control signal. The first problem treats the standard reachability problem, and the second treats the standard linear quadratic regulator problem under the above class of jamming signals. We provide necessary and sufficient conditions for optimality based on a n...
متن کامل